Fredholm determinant